#include "constantes_gpu.h"

const unsigned int PosNoeudsVariable[_M] ={
/* msg =      0, deg =  8 */     69,    160,    241,    542,    700,    972,   1458,   1539, 
/* msg =      1, deg =  8 */     70,    161,    242,    543,    701,    973,   1459,   1540, 
/* msg =      2, deg =  8 */     71,     81,    162,    544,    702,    974,   1460,   1541, 
/* msg =      3, deg =  8 */     72,     82,    163,    545,    703,    975,   1461,   1542, 
/* msg =      4, deg =  8 */     73,     83,    164,    546,    704,    976,   1462,   1543, 
/* msg =      5, deg =  8 */     74,     84,    165,    547,    705,    977,   1463,   1544, 
/* msg =      6, deg =  8 */     75,     85,    166,    548,    706,    978,   1464,   1545, 
/* msg =      7, deg =  8 */     76,     86,    167,    549,    707,    979,   1465,   1546, 
/* msg =      8, deg =  8 */     77,     87,    168,    550,    708,    980,   1466,   1547, 
/* msg =      9, deg =  8 */     78,     88,    169,    551,    709,    981,   1467,   1548, 
/* msg =     10, deg =  8 */     79,     89,    170,    552,    710,    982,   1468,   1549, 
/* msg =     11, deg =  8 */     80,     90,    171,    553,    711,    983,   1469,   1550, 
/* msg =     12, deg =  8 */      0,     91,    172,    554,    712,    984,   1470,   1551, 
/* msg =     13, deg =  8 */      1,     92,    173,    555,    713,    985,   1471,   1552, 
/* msg =     14, deg =  8 */      2,     93,    174,    556,    714,    986,   1472,   1553, 
/* msg =     15, deg =  8 */      3,     94,    175,    557,    715,    987,   1473,   1554, 
/* msg =     16, deg =  8 */      4,     95,    176,    558,    716,    988,   1474,   1555, 
/* msg =     17, deg =  8 */      5,     96,    177,    559,    717,    989,   1475,   1556, 
/* msg =     18, deg =  8 */      6,     97,    178,    560,    718,    990,   1476,   1557, 
/* msg =     19, deg =  8 */      7,     98,    179,    561,    719,    991,   1477,   1558, 
/* msg =     20, deg =  8 */      8,     99,    180,    562,    720,    992,   1478,   1559, 
/* msg =     21, deg =  8 */      9,    100,    181,    563,    721,    993,   1479,   1560, 
/* msg =     22, deg =  8 */     10,    101,    182,    564,    722,    994,   1480,   1561, 
/* msg =     23, deg =  8 */     11,    102,    183,    565,    723,    995,   1481,   1562, 
/* msg =     24, deg =  8 */     12,    103,    184,    566,    724,    996,   1482,   1563, 
/* msg =     25, deg =  8 */     13,    104,    185,    486,    725,    997,   1483,   1564, 
/* msg =     26, deg =  8 */     14,    105,    186,    487,    726,    998,   1484,   1565, 
/* msg =     27, deg =  8 */     15,    106,    187,    488,    727,    999,   1485,   1566, 
/* msg =     28, deg =  8 */     16,    107,    188,    489,    728,   1000,   1486,   1567, 
/* msg =     29, deg =  8 */     17,    108,    189,    490,    648,   1001,   1487,   1568, 
/* msg =     30, deg =  8 */     18,    109,    190,    491,    649,   1002,   1488,   1569, 
/* msg =     31, deg =  8 */     19,    110,    191,    492,    650,   1003,   1489,   1570, 
/* msg =     32, deg =  8 */     20,    111,    192,    493,    651,   1004,   1490,   1571, 
/* msg =     33, deg =  8 */     21,    112,    193,    494,    652,   1005,   1491,   1572, 
/* msg =     34, deg =  8 */     22,    113,    194,    495,    653,   1006,   1492,   1573, 
/* msg =     35, deg =  8 */     23,    114,    195,    496,    654,   1007,   1493,   1574, 
/* msg =     36, deg =  8 */     24,    115,    196,    497,    655,   1008,   1494,   1575, 
/* msg =     37, deg =  8 */     25,    116,    197,    498,    656,   1009,   1495,   1576, 
/* msg =     38, deg =  8 */     26,    117,    198,    499,    657,   1010,   1496,   1577, 
/* msg =     39, deg =  8 */     27,    118,    199,    500,    658,   1011,   1497,   1578, 
/* msg =     40, deg =  8 */     28,    119,    200,    501,    659,   1012,   1498,   1579, 
/* msg =     41, deg =  8 */     29,    120,    201,    502,    660,   1013,   1499,   1580, 
/* msg =     42, deg =  8 */     30,    121,    202,    503,    661,   1014,   1500,   1581, 
/* msg =     43, deg =  8 */     31,    122,    203,    504,    662,   1015,   1501,   1582, 
/* msg =     44, deg =  8 */     32,    123,    204,    505,    663,   1016,   1502,   1583, 
/* msg =     45, deg =  8 */     33,    124,    205,    506,    664,   1017,   1503,   1584, 
/* msg =     46, deg =  8 */     34,    125,    206,    507,    665,   1018,   1504,   1585, 
/* msg =     47, deg =  8 */     35,    126,    207,    508,    666,   1019,   1505,   1586, 
/* msg =     48, deg =  8 */     36,    127,    208,    509,    667,   1020,   1506,   1587, 
/* msg =     49, deg =  8 */     37,    128,    209,    510,    668,   1021,   1507,   1588, 
/* msg =     50, deg =  8 */     38,    129,    210,    511,    669,   1022,   1508,   1589, 
/* msg =     51, deg =  8 */     39,    130,    211,    512,    670,   1023,   1509,   1590, 
/* msg =     52, deg =  8 */     40,    131,    212,    513,    671,   1024,   1510,   1591, 
/* msg =     53, deg =  8 */     41,    132,    213,    514,    672,   1025,   1511,   1592, 
/* msg =     54, deg =  8 */     42,    133,    214,    515,    673,   1026,   1512,   1593, 
/* msg =     55, deg =  8 */     43,    134,    215,    516,    674,   1027,   1513,   1594, 
/* msg =     56, deg =  8 */     44,    135,    216,    517,    675,   1028,   1514,   1595, 
/* msg =     57, deg =  8 */     45,    136,    217,    518,    676,   1029,   1515,   1596, 
/* msg =     58, deg =  8 */     46,    137,    218,    519,    677,   1030,   1516,   1597, 
/* msg =     59, deg =  8 */     47,    138,    219,    520,    678,   1031,   1517,   1598, 
/* msg =     60, deg =  8 */     48,    139,    220,    521,    679,   1032,   1518,   1599, 
/* msg =     61, deg =  8 */     49,    140,    221,    522,    680,   1033,   1519,   1600, 
/* msg =     62, deg =  8 */     50,    141,    222,    523,    681,   1034,   1520,   1601, 
/* msg =     63, deg =  8 */     51,    142,    223,    524,    682,   1035,   1521,   1602, 
/* msg =     64, deg =  8 */     52,    143,    224,    525,    683,   1036,   1522,   1603, 
/* msg =     65, deg =  8 */     53,    144,    225,    526,    684,   1037,   1523,   1604, 
/* msg =     66, deg =  8 */     54,    145,    226,    527,    685,   1038,   1524,   1605, 
/* msg =     67, deg =  8 */     55,    146,    227,    528,    686,   1039,   1525,   1606, 
/* msg =     68, deg =  8 */     56,    147,    228,    529,    687,   1040,   1526,   1607, 
/* msg =     69, deg =  8 */     57,    148,    229,    530,    688,   1041,   1527,   1608, 
/* msg =     70, deg =  8 */     58,    149,    230,    531,    689,   1042,   1528,   1609, 
/* msg =     71, deg =  8 */     59,    150,    231,    532,    690,   1043,   1529,   1610, 
/* msg =     72, deg =  8 */     60,    151,    232,    533,    691,   1044,   1530,   1611, 
/* msg =     73, deg =  8 */     61,    152,    233,    534,    692,   1045,   1531,   1612, 
/* msg =     74, deg =  8 */     62,    153,    234,    535,    693,   1046,   1532,   1613, 
/* msg =     75, deg =  8 */     63,    154,    235,    536,    694,   1047,   1533,   1614, 
/* msg =     76, deg =  8 */     64,    155,    236,    537,    695,   1048,   1534,   1615, 
/* msg =     77, deg =  8 */     65,    156,    237,    538,    696,   1049,   1535,   1616, 
/* msg =     78, deg =  8 */     66,    157,    238,    539,    697,   1050,   1536,   1617, 
/* msg =     79, deg =  8 */     67,    158,    239,    540,    698,   1051,   1537,   1618, 
/* msg =     80, deg =  8 */     68,    159,    240,    541,    699,   1052,   1538,   1619, 
/* msg =     81, deg =  8 */     24,    223,    384,    594,    699,    907,    973,   1863, 
/* msg =     82, deg =  8 */     25,    224,    385,    595,    700,    908,    974,   1864, 
/* msg =     83, deg =  8 */     26,    225,    386,    596,    701,    909,    975,   1865, 
/* msg =     84, deg =  8 */     27,    226,    387,    597,    702,    910,    976,   1866, 
/* msg =     85, deg =  8 */     28,    227,    388,    598,    703,    911,    977,   1867, 
/* msg =     86, deg =  8 */     29,    228,    389,    599,    704,    912,    978,   1868, 
/* msg =     87, deg =  8 */     30,    229,    390,    600,    705,    913,    979,   1869, 
/* msg =     88, deg =  8 */     31,    230,    391,    601,    706,    914,    980,   1870, 
/* msg =     89, deg =  8 */     32,    231,    392,    602,    707,    915,    981,   1871, 
/* msg =     90, deg =  8 */     33,    232,    393,    603,    708,    916,    982,   1872, 
/* msg =     91, deg =  8 */     34,    233,    394,    604,    709,    917,    983,   1873, 
/* msg =     92, deg =  8 */     35,    234,    395,    605,    710,    918,    984,   1874, 
/* msg =     93, deg =  8 */     36,    235,    396,    606,    711,    919,    985,   1875, 
/* msg =     94, deg =  8 */     37,    236,    397,    607,    712,    920,    986,   1876, 
/* msg =     95, deg =  8 */     38,    237,    398,    608,    713,    921,    987,   1877, 
/* msg =     96, deg =  8 */     39,    238,    399,    609,    714,    922,    988,   1878, 
/* msg =     97, deg =  8 */     40,    239,    400,    610,    715,    923,    989,   1879, 
/* msg =     98, deg =  8 */     41,    240,    401,    611,    716,    924,    990,   1880, 
/* msg =     99, deg =  8 */     42,    241,    402,    612,    717,    925,    991,   1881, 
/* msg =    100, deg =  8 */     43,    242,    403,    613,    718,    926,    992,   1882, 
/* msg =    101, deg =  8 */     44,    162,    404,    614,    719,    927,    993,   1883, 
/* msg =    102, deg =  8 */     45,    163,    324,    615,    720,    928,    994,   1884, 
/* msg =    103, deg =  8 */     46,    164,    325,    616,    721,    929,    995,   1885, 
/* msg =    104, deg =  8 */     47,    165,    326,    617,    722,    930,    996,   1886, 
/* msg =    105, deg =  8 */     48,    166,    327,    618,    723,    931,    997,   1887, 
/* msg =    106, deg =  8 */     49,    167,    328,    619,    724,    932,    998,   1888, 
/* msg =    107, deg =  8 */     50,    168,    329,    620,    725,    933,    999,   1889, 
/* msg =    108, deg =  8 */     51,    169,    330,    621,    726,    934,   1000,   1890, 
/* msg =    109, deg =  8 */     52,    170,    331,    622,    727,    935,   1001,   1891, 
/* msg =    110, deg =  8 */     53,    171,    332,    623,    728,    936,   1002,   1892, 
/* msg =    111, deg =  8 */     54,    172,    333,    624,    648,    937,   1003,   1893, 
/* msg =    112, deg =  8 */     55,    173,    334,    625,    649,    938,   1004,   1894, 
/* msg =    113, deg =  8 */     56,    174,    335,    626,    650,    939,   1005,   1895, 
/* msg =    114, deg =  8 */     57,    175,    336,    627,    651,    940,   1006,   1896, 
/* msg =    115, deg =  8 */     58,    176,    337,    628,    652,    941,   1007,   1897, 
/* msg =    116, deg =  8 */     59,    177,    338,    629,    653,    942,   1008,   1898, 
/* msg =    117, deg =  8 */     60,    178,    339,    630,    654,    943,   1009,   1899, 
/* msg =    118, deg =  8 */     61,    179,    340,    631,    655,    944,   1010,   1900, 
/* msg =    119, deg =  8 */     62,    180,    341,    632,    656,    945,   1011,   1901, 
/* msg =    120, deg =  8 */     63,    181,    342,    633,    657,    946,   1012,   1902, 
/* msg =    121, deg =  8 */     64,    182,    343,    634,    658,    947,   1013,   1903, 
/* msg =    122, deg =  8 */     65,    183,    344,    635,    659,    948,   1014,   1904, 
/* msg =    123, deg =  8 */     66,    184,    345,    636,    660,    949,   1015,   1905, 
/* msg =    124, deg =  8 */     67,    185,    346,    637,    661,    950,   1016,   1906, 
/* msg =    125, deg =  8 */     68,    186,    347,    638,    662,    951,   1017,   1907, 
/* msg =    126, deg =  8 */     69,    187,    348,    639,    663,    952,   1018,   1908, 
/* msg =    127, deg =  8 */     70,    188,    349,    640,    664,    953,   1019,   1909, 
/* msg =    128, deg =  8 */     71,    189,    350,    641,    665,    954,   1020,   1910, 
/* msg =    129, deg =  8 */     72,    190,    351,    642,    666,    955,   1021,   1911, 
/* msg =    130, deg =  8 */     73,    191,    352,    643,    667,    956,   1022,   1912, 
/* msg =    131, deg =  8 */     74,    192,    353,    644,    668,    957,   1023,   1913, 
/* msg =    132, deg =  8 */     75,    193,    354,    645,    669,    958,   1024,   1914, 
/* msg =    133, deg =  8 */     76,    194,    355,    646,    670,    959,   1025,   1915, 
/* msg =    134, deg =  8 */     77,    195,    356,    647,    671,    960,   1026,   1916, 
/* msg =    135, deg =  8 */     78,    196,    357,    567,    672,    961,   1027,   1917, 
/* msg =    136, deg =  8 */     79,    197,    358,    568,    673,    962,   1028,   1918, 
/* msg =    137, deg =  8 */     80,    198,    359,    569,    674,    963,   1029,   1919, 
/* msg =    138, deg =  8 */      0,    199,    360,    570,    675,    964,   1030,   1920, 
/* msg =    139, deg =  8 */      1,    200,    361,    571,    676,    965,   1031,   1921, 
/* msg =    140, deg =  8 */      2,    201,    362,    572,    677,    966,   1032,   1922, 
/* msg =    141, deg =  8 */      3,    202,    363,    573,    678,    967,   1033,   1923, 
/* msg =    142, deg =  8 */      4,    203,    364,    574,    679,    968,   1034,   1924, 
/* msg =    143, deg =  8 */      5,    204,    365,    575,    680,    969,   1035,   1925, 
/* msg =    144, deg =  8 */      6,    205,    366,    576,    681,    970,   1036,   1926, 
/* msg =    145, deg =  8 */      7,    206,    367,    577,    682,    971,   1037,   1927, 
/* msg =    146, deg =  8 */      8,    207,    368,    578,    683,    891,   1038,   1928, 
/* msg =    147, deg =  8 */      9,    208,    369,    579,    684,    892,   1039,   1929, 
/* msg =    148, deg =  8 */     10,    209,    370,    580,    685,    893,   1040,   1930, 
/* msg =    149, deg =  8 */     11,    210,    371,    581,    686,    894,   1041,   1931, 
/* msg =    150, deg =  8 */     12,    211,    372,    582,    687,    895,   1042,   1932, 
/* msg =    151, deg =  8 */     13,    212,    373,    583,    688,    896,   1043,   1933, 
/* msg =    152, deg =  8 */     14,    213,    374,    584,    689,    897,   1044,   1934, 
/* msg =    153, deg =  8 */     15,    214,    375,    585,    690,    898,   1045,   1935, 
/* msg =    154, deg =  8 */     16,    215,    376,    586,    691,    899,   1046,   1936, 
/* msg =    155, deg =  8 */     17,    216,    377,    587,    692,    900,   1047,   1937, 
/* msg =    156, deg =  8 */     18,    217,    378,    588,    693,    901,   1048,   1938, 
/* msg =    157, deg =  8 */     19,    218,    379,    589,    694,    902,   1049,   1939, 
/* msg =    158, deg =  8 */     20,    219,    380,    590,    695,    903,   1050,   1940, 
/* msg =    159, deg =  8 */     21,    220,    381,    591,    696,    904,   1051,   1941, 
/* msg =    160, deg =  8 */     22,    221,    382,    592,    697,    905,   1052,   1942, 
/* msg =    161, deg =  8 */     23,    222,    383,    593,    698,    906,    972,   1943, 
/* msg =    162, deg =  7 */     57,    374,    497,    698,    889,    973,   1053, 
/* msg =    163, deg =  7 */     58,    375,    498,    699,    890,    974,   1054, 
/* msg =    164, deg =  7 */     59,    376,    499,    700,    810,    975,   1055, 
/* msg =    165, deg =  7 */     60,    377,    500,    701,    811,    976,   1056, 
/* msg =    166, deg =  7 */     61,    378,    501,    702,    812,    977,   1057, 
/* msg =    167, deg =  7 */     62,    379,    502,    703,    813,    978,   1058, 
/* msg =    168, deg =  7 */     63,    380,    503,    704,    814,    979,   1059, 
/* msg =    169, deg =  7 */     64,    381,    504,    705,    815,    980,   1060, 
/* msg =    170, deg =  7 */     65,    382,    505,    706,    816,    981,   1061, 
/* msg =    171, deg =  7 */     66,    383,    506,    707,    817,    982,   1062, 
/* msg =    172, deg =  7 */     67,    384,    507,    708,    818,    983,   1063, 
/* msg =    173, deg =  7 */     68,    385,    508,    709,    819,    984,   1064, 
/* msg =    174, deg =  7 */     69,    386,    509,    710,    820,    985,   1065, 
/* msg =    175, deg =  7 */     70,    387,    510,    711,    821,    986,   1066, 
/* msg =    176, deg =  7 */     71,    388,    511,    712,    822,    987,   1067, 
/* msg =    177, deg =  7 */     72,    389,    512,    713,    823,    988,   1068, 
/* msg =    178, deg =  7 */     73,    390,    513,    714,    824,    989,   1069, 
/* msg =    179, deg =  7 */     74,    391,    514,    715,    825,    990,   1070, 
/* msg =    180, deg =  7 */     75,    392,    515,    716,    826,    991,   1071, 
/* msg =    181, deg =  7 */     76,    393,    516,    717,    827,    992,   1072, 
/* msg =    182, deg =  7 */     77,    394,    517,    718,    828,    993,   1073, 
/* msg =    183, deg =  7 */     78,    395,    518,    719,    829,    994,   1074, 
/* msg =    184, deg =  7 */     79,    396,    519,    720,    830,    995,   1075, 
/* msg =    185, deg =  7 */     80,    397,    520,    721,    831,    996,   1076, 
/* msg =    186, deg =  7 */      0,    398,    521,    722,    832,    997,   1077, 
/* msg =    187, deg =  7 */      1,    399,    522,    723,    833,    998,   1078, 
/* msg =    188, deg =  7 */      2,    400,    523,    724,    834,    999,   1079, 
/* msg =    189, deg =  7 */      3,    401,    524,    725,    835,   1000,   1080, 
/* msg =    190, deg =  7 */      4,    402,    525,    726,    836,   1001,   1081, 
/* msg =    191, deg =  7 */      5,    403,    526,    727,    837,   1002,   1082, 
/* msg =    192, deg =  7 */      6,    404,    527,    728,    838,   1003,   1083, 
/* msg =    193, deg =  7 */      7,    324,    528,    648,    839,   1004,   1084, 
/* msg =    194, deg =  7 */      8,    325,    529,    649,    840,   1005,   1085, 
/* msg =    195, deg =  7 */      9,    326,    530,    650,    841,   1006,   1086, 
/* msg =    196, deg =  7 */     10,    327,    531,    651,    842,   1007,   1087, 
/* msg =    197, deg =  7 */     11,    328,    532,    652,    843,   1008,   1088, 
/* msg =    198, deg =  7 */     12,    329,    533,    653,    844,   1009,   1089, 
/* msg =    199, deg =  7 */     13,    330,    534,    654,    845,   1010,   1090, 
/* msg =    200, deg =  7 */     14,    331,    535,    655,    846,   1011,   1091, 
/* msg =    201, deg =  7 */     15,    332,    536,    656,    847,   1012,   1092, 
/* msg =    202, deg =  7 */     16,    333,    537,    657,    848,   1013,   1093, 
/* msg =    203, deg =  7 */     17,    334,    538,    658,    849,   1014,   1094, 
/* msg =    204, deg =  7 */     18,    335,    539,    659,    850,   1015,   1095, 
/* msg =    205, deg =  7 */     19,    336,    540,    660,    851,   1016,   1096, 
/* msg =    206, deg =  7 */     20,    337,    541,    661,    852,   1017,   1097, 
/* msg =    207, deg =  7 */     21,    338,    542,    662,    853,   1018,   1098, 
/* msg =    208, deg =  7 */     22,    339,    543,    663,    854,   1019,   1099, 
/* msg =    209, deg =  7 */     23,    340,    544,    664,    855,   1020,   1100, 
/* msg =    210, deg =  7 */     24,    341,    545,    665,    856,   1021,   1101, 
/* msg =    211, deg =  7 */     25,    342,    546,    666,    857,   1022,   1102, 
/* msg =    212, deg =  7 */     26,    343,    547,    667,    858,   1023,   1103, 
/* msg =    213, deg =  7 */     27,    344,    548,    668,    859,   1024,   1104, 
/* msg =    214, deg =  7 */     28,    345,    549,    669,    860,   1025,   1105, 
/* msg =    215, deg =  7 */     29,    346,    550,    670,    861,   1026,   1106, 
/* msg =    216, deg =  7 */     30,    347,    551,    671,    862,   1027,   1107, 
/* msg =    217, deg =  7 */     31,    348,    552,    672,    863,   1028,   1108, 
/* msg =    218, deg =  7 */     32,    349,    553,    673,    864,   1029,   1109, 
/* msg =    219, deg =  7 */     33,    350,    554,    674,    865,   1030,   1110, 
/* msg =    220, deg =  7 */     34,    351,    555,    675,    866,   1031,   1111, 
/* msg =    221, deg =  7 */     35,    352,    556,    676,    867,   1032,   1112, 
/* msg =    222, deg =  7 */     36,    353,    557,    677,    868,   1033,   1113, 
/* msg =    223, deg =  7 */     37,    354,    558,    678,    869,   1034,   1114, 
/* msg =    224, deg =  7 */     38,    355,    559,    679,    870,   1035,   1115, 
/* msg =    225, deg =  7 */     39,    356,    560,    680,    871,   1036,   1116, 
/* msg =    226, deg =  7 */     40,    357,    561,    681,    872,   1037,   1117, 
/* msg =    227, deg =  7 */     41,    358,    562,    682,    873,   1038,   1118, 
/* msg =    228, deg =  7 */     42,    359,    563,    683,    874,   1039,   1119, 
/* msg =    229, deg =  7 */     43,    360,    564,    684,    875,   1040,   1120, 
/* msg =    230, deg =  7 */     44,    361,    565,    685,    876,   1041,   1121, 
/* msg =    231, deg =  7 */     45,    362,    566,    686,    877,   1042,   1122, 
/* msg =    232, deg =  7 */     46,    363,    486,    687,    878,   1043,   1123, 
/* msg =    233, deg =  7 */     47,    364,    487,    688,    879,   1044,   1124, 
/* msg =    234, deg =  7 */     48,    365,    488,    689,    880,   1045,   1125, 
/* msg =    235, deg =  7 */     49,    366,    489,    690,    881,   1046,   1126, 
/* msg =    236, deg =  7 */     50,    367,    490,    691,    882,   1047,   1127, 
/* msg =    237, deg =  7 */     51,    368,    491,    692,    883,   1048,   1128, 
/* msg =    238, deg =  7 */     52,    369,    492,    693,    884,   1049,   1129, 
/* msg =    239, deg =  7 */     53,    370,    493,    694,    885,   1050,   1130, 
/* msg =    240, deg =  7 */     54,    371,    494,    695,    886,   1051,   1131, 
/* msg =    241, deg =  7 */     55,    372,    495,    696,    887,   1052,   1132, 
/* msg =    242, deg =  7 */     56,    373,    496,    697,    888,    972,   1133, 
/* msg =    243, deg =  7 */      3,    190,    324,    703,    736,   1053,   1134, 
/* msg =    244, deg =  7 */      4,    191,    325,    704,    737,   1054,   1135, 
/* msg =    245, deg =  7 */      5,    192,    326,    705,    738,   1055,   1136, 
/* msg =    246, deg =  7 */      6,    193,    327,    706,    739,   1056,   1137, 
/* msg =    247, deg =  7 */      7,    194,    328,    707,    740,   1057,   1138, 
/* msg =    248, deg =  7 */      8,    195,    329,    708,    741,   1058,   1139, 
/* msg =    249, deg =  7 */      9,    196,    330,    709,    742,   1059,   1140, 
/* msg =    250, deg =  7 */     10,    197,    331,    710,    743,   1060,   1141, 
/* msg =    251, deg =  7 */     11,    198,    332,    711,    744,   1061,   1142, 
/* msg =    252, deg =  7 */     12,    199,    333,    712,    745,   1062,   1143, 
/* msg =    253, deg =  7 */     13,    200,    334,    713,    746,   1063,   1144, 
/* msg =    254, deg =  7 */     14,    201,    335,    714,    747,   1064,   1145, 
/* msg =    255, deg =  7 */     15,    202,    336,    715,    748,   1065,   1146, 
/* msg =    256, deg =  7 */     16,    203,    337,    716,    749,   1066,   1147, 
/* msg =    257, deg =  7 */     17,    204,    338,    717,    750,   1067,   1148, 
/* msg =    258, deg =  7 */     18,    205,    339,    718,    751,   1068,   1149, 
/* msg =    259, deg =  7 */     19,    206,    340,    719,    752,   1069,   1150, 
/* msg =    260, deg =  7 */     20,    207,    341,    720,    753,   1070,   1151, 
/* msg =    261, deg =  7 */     21,    208,    342,    721,    754,   1071,   1152, 
/* msg =    262, deg =  7 */     22,    209,    343,    722,    755,   1072,   1153, 
/* msg =    263, deg =  7 */     23,    210,    344,    723,    756,   1073,   1154, 
/* msg =    264, deg =  7 */     24,    211,    345,    724,    757,   1074,   1155, 
/* msg =    265, deg =  7 */     25,    212,    346,    725,    758,   1075,   1156, 
/* msg =    266, deg =  7 */     26,    213,    347,    726,    759,   1076,   1157, 
/* msg =    267, deg =  7 */     27,    214,    348,    727,    760,   1077,   1158, 
/* msg =    268, deg =  7 */     28,    215,    349,    728,    761,   1078,   1159, 
/* msg =    269, deg =  7 */     29,    216,    350,    648,    762,   1079,   1160, 
/* msg =    270, deg =  7 */     30,    217,    351,    649,    763,   1080,   1161, 
/* msg =    271, deg =  7 */     31,    218,    352,    650,    764,   1081,   1162, 
/* msg =    272, deg =  7 */     32,    219,    353,    651,    765,   1082,   1163, 
/* msg =    273, deg =  7 */     33,    220,    354,    652,    766,   1083,   1164, 
/* msg =    274, deg =  7 */     34,    221,    355,    653,    767,   1084,   1165, 
/* msg =    275, deg =  7 */     35,    222,    356,    654,    768,   1085,   1166, 
/* msg =    276, deg =  7 */     36,    223,    357,    655,    769,   1086,   1167, 
/* msg =    277, deg =  7 */     37,    224,    358,    656,    770,   1087,   1168, 
/* msg =    278, deg =  7 */     38,    225,    359,    657,    771,   1088,   1169, 
/* msg =    279, deg =  7 */     39,    226,    360,    658,    772,   1089,   1170, 
/* msg =    280, deg =  7 */     40,    227,    361,    659,    773,   1090,   1171, 
/* msg =    281, deg =  7 */     41,    228,    362,    660,    774,   1091,   1172, 
/* msg =    282, deg =  7 */     42,    229,    363,    661,    775,   1092,   1173, 
/* msg =    283, deg =  7 */     43,    230,    364,    662,    776,   1093,   1174, 
/* msg =    284, deg =  7 */     44,    231,    365,    663,    777,   1094,   1175, 
/* msg =    285, deg =  7 */     45,    232,    366,    664,    778,   1095,   1176, 
/* msg =    286, deg =  7 */     46,    233,    367,    665,    779,   1096,   1177, 
/* msg =    287, deg =  7 */     47,    234,    368,    666,    780,   1097,   1178, 
/* msg =    288, deg =  7 */     48,    235,    369,    667,    781,   1098,   1179, 
/* msg =    289, deg =  7 */     49,    236,    370,    668,    782,   1099,   1180, 
/* msg =    290, deg =  7 */     50,    237,    371,    669,    783,   1100,   1181, 
/* msg =    291, deg =  7 */     51,    238,    372,    670,    784,   1101,   1182, 
/* msg =    292, deg =  7 */     52,    239,    373,    671,    785,   1102,   1183, 
/* msg =    293, deg =  7 */     53,    240,    374,    672,    786,   1103,   1184, 
/* msg =    294, deg =  7 */     54,    241,    375,    673,    787,   1104,   1185, 
/* msg =    295, deg =  7 */     55,    242,    376,    674,    788,   1105,   1186, 
/* msg =    296, deg =  7 */     56,    162,    377,    675,    789,   1106,   1187, 
/* msg =    297, deg =  7 */     57,    163,    378,    676,    790,   1107,   1188, 
/* msg =    298, deg =  7 */     58,    164,    379,    677,    791,   1108,   1189, 
/* msg =    299, deg =  7 */     59,    165,    380,    678,    792,   1109,   1190, 
/* msg =    300, deg =  7 */     60,    166,    381,    679,    793,   1110,   1191, 
/* msg =    301, deg =  7 */     61,    167,    382,    680,    794,   1111,   1192, 
/* msg =    302, deg =  7 */     62,    168,    383,    681,    795,   1112,   1193, 
/* msg =    303, deg =  7 */     63,    169,    384,    682,    796,   1113,   1194, 
/* msg =    304, deg =  7 */     64,    170,    385,    683,    797,   1114,   1195, 
/* msg =    305, deg =  7 */     65,    171,    386,    684,    798,   1115,   1196, 
/* msg =    306, deg =  7 */     66,    172,    387,    685,    799,   1116,   1197, 
/* msg =    307, deg =  7 */     67,    173,    388,    686,    800,   1117,   1198, 
/* msg =    308, deg =  7 */     68,    174,    389,    687,    801,   1118,   1199, 
/* msg =    309, deg =  7 */     69,    175,    390,    688,    802,   1119,   1200, 
/* msg =    310, deg =  7 */     70,    176,    391,    689,    803,   1120,   1201, 
/* msg =    311, deg =  7 */     71,    177,    392,    690,    804,   1121,   1202, 
/* msg =    312, deg =  7 */     72,    178,    393,    691,    805,   1122,   1203, 
/* msg =    313, deg =  7 */     73,    179,    394,    692,    806,   1123,   1204, 
/* msg =    314, deg =  7 */     74,    180,    395,    693,    807,   1124,   1205, 
/* msg =    315, deg =  7 */     75,    181,    396,    694,    808,   1125,   1206, 
/* msg =    316, deg =  7 */     76,    182,    397,    695,    809,   1126,   1207, 
/* msg =    317, deg =  7 */     77,    183,    398,    696,    729,   1127,   1208, 
/* msg =    318, deg =  7 */     78,    184,    399,    697,    730,   1128,   1209, 
/* msg =    319, deg =  7 */     79,    185,    400,    698,    731,   1129,   1210, 
/* msg =    320, deg =  7 */     80,    186,    401,    699,    732,   1130,   1211, 
/* msg =    321, deg =  7 */      0,    187,    402,    700,    733,   1131,   1212, 
/* msg =    322, deg =  7 */      1,    188,    403,    701,    734,   1132,   1213, 
/* msg =    323, deg =  7 */      2,    189,    404,    702,    735,   1133,   1214, 
/* msg =    324, deg =  7 */     30,    348,    442,    704,    743,   1134,   1215, 
/* msg =    325, deg =  7 */     31,    349,    443,    705,    744,   1135,   1216, 
/* msg =    326, deg =  7 */     32,    350,    444,    706,    745,   1136,   1217, 
/* msg =    327, deg =  7 */     33,    351,    445,    707,    746,   1137,   1218, 
/* msg =    328, deg =  7 */     34,    352,    446,    708,    747,   1138,   1219, 
/* msg =    329, deg =  7 */     35,    353,    447,    709,    748,   1139,   1220, 
/* msg =    330, deg =  7 */     36,    354,    448,    710,    749,   1140,   1221, 
/* msg =    331, deg =  7 */     37,    355,    449,    711,    750,   1141,   1222, 
/* msg =    332, deg =  7 */     38,    356,    450,    712,    751,   1142,   1223, 
/* msg =    333, deg =  7 */     39,    357,    451,    713,    752,   1143,   1224, 
/* msg =    334, deg =  7 */     40,    358,    452,    714,    753,   1144,   1225, 
/* msg =    335, deg =  7 */     41,    359,    453,    715,    754,   1145,   1226, 
/* msg =    336, deg =  7 */     42,    360,    454,    716,    755,   1146,   1227, 
/* msg =    337, deg =  7 */     43,    361,    455,    717,    756,   1147,   1228, 
/* msg =    338, deg =  7 */     44,    362,    456,    718,    757,   1148,   1229, 
/* msg =    339, deg =  7 */     45,    363,    457,    719,    758,   1149,   1230, 
/* msg =    340, deg =  7 */     46,    364,    458,    720,    759,   1150,   1231, 
/* msg =    341, deg =  7 */     47,    365,    459,    721,    760,   1151,   1232, 
/* msg =    342, deg =  7 */     48,    366,    460,    722,    761,   1152,   1233, 
/* msg =    343, deg =  7 */     49,    367,    461,    723,    762,   1153,   1234, 
/* msg =    344, deg =  7 */     50,    368,    462,    724,    763,   1154,   1235, 
/* msg =    345, deg =  7 */     51,    369,    463,    725,    764,   1155,   1236, 
/* msg =    346, deg =  7 */     52,    370,    464,    726,    765,   1156,   1237, 
/* msg =    347, deg =  7 */     53,    371,    465,    727,    766,   1157,   1238, 
/* msg =    348, deg =  7 */     54,    372,    466,    728,    767,   1158,   1239, 
/* msg =    349, deg =  7 */     55,    373,    467,    648,    768,   1159,   1240, 
/* msg =    350, deg =  7 */     56,    374,    468,    649,    769,   1160,   1241, 
/* msg =    351, deg =  7 */     57,    375,    469,    650,    770,   1161,   1242, 
/* msg =    352, deg =  7 */     58,    376,    470,    651,    771,   1162,   1243, 
/* msg =    353, deg =  7 */     59,    377,    471,    652,    772,   1163,   1244, 
/* msg =    354, deg =  7 */     60,    378,    472,    653,    773,   1164,   1245, 
/* msg =    355, deg =  7 */     61,    379,    473,    654,    774,   1165,   1246, 
/* msg =    356, deg =  7 */     62,    380,    474,    655,    775,   1166,   1247, 
/* msg =    357, deg =  7 */     63,    381,    475,    656,    776,   1167,   1248, 
/* msg =    358, deg =  7 */     64,    382,    476,    657,    777,   1168,   1249, 
/* msg =    359, deg =  7 */     65,    383,    477,    658,    778,   1169,   1250, 
/* msg =    360, deg =  7 */     66,    384,    478,    659,    779,   1170,   1251, 
/* msg =    361, deg =  7 */     67,    385,    479,    660,    780,   1171,   1252, 
/* msg =    362, deg =  7 */     68,    386,    480,    661,    781,   1172,   1253, 
/* msg =    363, deg =  7 */     69,    387,    481,    662,    782,   1173,   1254, 
/* msg =    364, deg =  7 */     70,    388,    482,    663,    783,   1174,   1255, 
/* msg =    365, deg =  7 */     71,    389,    483,    664,    784,   1175,   1256, 
/* msg =    366, deg =  7 */     72,    390,    484,    665,    785,   1176,   1257, 
/* msg =    367, deg =  7 */     73,    391,    485,    666,    786,   1177,   1258, 
/* msg =    368, deg =  7 */     74,    392,    405,    667,    787,   1178,   1259, 
/* msg =    369, deg =  7 */     75,    393,    406,    668,    788,   1179,   1260, 
/* msg =    370, deg =  7 */     76,    394,    407,    669,    789,   1180,   1261, 
/* msg =    371, deg =  7 */     77,    395,    408,    670,    790,   1181,   1262, 
/* msg =    372, deg =  7 */     78,    396,    409,    671,    791,   1182,   1263, 
/* msg =    373, deg =  7 */     79,    397,    410,    672,    792,   1183,   1264, 
/* msg =    374, deg =  7 */     80,    398,    411,    673,    793,   1184,   1265, 
/* msg =    375, deg =  7 */      0,    399,    412,    674,    794,   1185,   1266, 
/* msg =    376, deg =  7 */      1,    400,    413,    675,    795,   1186,   1267, 
/* msg =    377, deg =  7 */      2,    401,    414,    676,    796,   1187,   1268, 
/* msg =    378, deg =  7 */      3,    402,    415,    677,    797,   1188,   1269, 
/* msg =    379, deg =  7 */      4,    403,    416,    678,    798,   1189,   1270, 
/* msg =    380, deg =  7 */      5,    404,    417,    679,    799,   1190,   1271, 
/* msg =    381, deg =  7 */      6,    324,    418,    680,    800,   1191,   1272, 
/* msg =    382, deg =  7 */      7,    325,    419,    681,    801,   1192,   1273, 
/* msg =    383, deg =  7 */      8,    326,    420,    682,    802,   1193,   1274, 
/* msg =    384, deg =  7 */      9,    327,    421,    683,    803,   1194,   1275, 
/* msg =    385, deg =  7 */     10,    328,    422,    684,    804,   1195,   1276, 
/* msg =    386, deg =  7 */     11,    329,    423,    685,    805,   1196,   1277, 
/* msg =    387, deg =  7 */     12,    330,    424,    686,    806,   1197,   1278, 
/* msg =    388, deg =  7 */     13,    331,    425,    687,    807,   1198,   1279, 
/* msg =    389, deg =  7 */     14,    332,    426,    688,    808,   1199,   1280, 
/* msg =    390, deg =  7 */     15,    333,    427,    689,    809,   1200,   1281, 
/* msg =    391, deg =  7 */     16,    334,    428,    690,    729,   1201,   1282, 
/* msg =    392, deg =  7 */     17,    335,    429,    691,    730,   1202,   1283, 
/* msg =    393, deg =  7 */     18,    336,    430,    692,    731,   1203,   1284, 
/* msg =    394, deg =  7 */     19,    337,    431,    693,    732,   1204,   1285, 
/* msg =    395, deg =  7 */     20,    338,    432,    694,    733,   1205,   1286, 
/* msg =    396, deg =  7 */     21,    339,    433,    695,    734,   1206,   1287, 
/* msg =    397, deg =  7 */     22,    340,    434,    696,    735,   1207,   1288, 
/* msg =    398, deg =  7 */     23,    341,    435,    697,    736,   1208,   1289, 
/* msg =    399, deg =  7 */     24,    342,    436,    698,    737,   1209,   1290, 
/* msg =    400, deg =  7 */     25,    343,    437,    699,    738,   1210,   1291, 
/* msg =    401, deg =  7 */     26,    344,    438,    700,    739,   1211,   1292, 
/* msg =    402, deg =  7 */     27,    345,    439,    701,    740,   1212,   1293, 
/* msg =    403, deg =  7 */     28,    346,    440,    702,    741,   1213,   1294, 
/* msg =    404, deg =  7 */     29,    347,    441,    703,    742,   1214,   1295, 
/* msg =    405, deg =  7 */     62,    134,    377,    570,    683,   1215,   1296, 
/* msg =    406, deg =  7 */     63,    135,    378,    571,    684,   1216,   1297, 
/* msg =    407, deg =  7 */     64,    136,    379,    572,    685,   1217,   1298, 
/* msg =    408, deg =  7 */     65,    137,    380,    573,    686,   1218,   1299, 
/* msg =    409, deg =  7 */     66,    138,    381,    574,    687,   1219,   1300, 
/* msg =    410, deg =  7 */     67,    139,    382,    575,    688,   1220,   1301, 
/* msg =    411, deg =  7 */     68,    140,    383,    576,    689,   1221,   1302, 
/* msg =    412, deg =  7 */     69,    141,    384,    577,    690,   1222,   1303, 
/* msg =    413, deg =  7 */     70,    142,    385,    578,    691,   1223,   1304, 
/* msg =    414, deg =  7 */     71,    143,    386,    579,    692,   1224,   1305, 
/* msg =    415, deg =  7 */     72,    144,    387,    580,    693,   1225,   1306, 
/* msg =    416, deg =  7 */     73,    145,    388,    581,    694,   1226,   1307, 
/* msg =    417, deg =  7 */     74,    146,    389,    582,    695,   1227,   1308, 
/* msg =    418, deg =  7 */     75,    147,    390,    583,    696,   1228,   1309, 
/* msg =    419, deg =  7 */     76,    148,    391,    584,    697,   1229,   1310, 
/* msg =    420, deg =  7 */     77,    149,    392,    585,    698,   1230,   1311, 
/* msg =    421, deg =  7 */     78,    150,    393,    586,    699,   1231,   1312, 
/* msg =    422, deg =  7 */     79,    151,    394,    587,    700,   1232,   1313, 
/* msg =    423, deg =  7 */     80,    152,    395,    588,    701,   1233,   1314, 
/* msg =    424, deg =  7 */      0,    153,    396,    589,    702,   1234,   1315, 
/* msg =    425, deg =  7 */      1,    154,    397,    590,    703,   1235,   1316, 
/* msg =    426, deg =  7 */      2,    155,    398,    591,    704,   1236,   1317, 
/* msg =    427, deg =  7 */      3,    156,    399,    592,    705,   1237,   1318, 
/* msg =    428, deg =  7 */      4,    157,    400,    593,    706,   1238,   1319, 
/* msg =    429, deg =  7 */      5,    158,    401,    594,    707,   1239,   1320, 
/* msg =    430, deg =  7 */      6,    159,    402,    595,    708,   1240,   1321, 
/* msg =    431, deg =  7 */      7,    160,    403,    596,    709,   1241,   1322, 
/* msg =    432, deg =  7 */      8,    161,    404,    597,    710,   1242,   1323, 
/* msg =    433, deg =  7 */      9,     81,    324,    598,    711,   1243,   1324, 
/* msg =    434, deg =  7 */     10,     82,    325,    599,    712,   1244,   1325, 
/* msg =    435, deg =  7 */     11,     83,    326,    600,    713,   1245,   1326, 
/* msg =    436, deg =  7 */     12,     84,    327,    601,    714,   1246,   1327, 
/* msg =    437, deg =  7 */     13,     85,    328,    602,    715,   1247,   1328, 
/* msg =    438, deg =  7 */     14,     86,    329,    603,    716,   1248,   1329, 
/* msg =    439, deg =  7 */     15,     87,    330,    604,    717,   1249,   1330, 
/* msg =    440, deg =  7 */     16,     88,    331,    605,    718,   1250,   1331, 
/* msg =    441, deg =  7 */     17,     89,    332,    606,    719,   1251,   1332, 
/* msg =    442, deg =  7 */     18,     90,    333,    607,    720,   1252,   1333, 
/* msg =    443, deg =  7 */     19,     91,    334,    608,    721,   1253,   1334, 
/* msg =    444, deg =  7 */     20,     92,    335,    609,    722,   1254,   1335, 
/* msg =    445, deg =  7 */     21,     93,    336,    610,    723,   1255,   1336, 
/* msg =    446, deg =  7 */     22,     94,    337,    611,    724,   1256,   1337, 
/* msg =    447, deg =  7 */     23,     95,    338,    612,    725,   1257,   1338, 
/* msg =    448, deg =  7 */     24,     96,    339,    613,    726,   1258,   1339, 
/* msg =    449, deg =  7 */     25,     97,    340,    614,    727,   1259,   1340, 
/* msg =    450, deg =  7 */     26,     98,    341,    615,    728,   1260,   1341, 
/* msg =    451, deg =  7 */     27,     99,    342,    616,    648,   1261,   1342, 
/* msg =    452, deg =  7 */     28,    100,    343,    617,    649,   1262,   1343, 
/* msg =    453, deg =  7 */     29,    101,    344,    618,    650,   1263,   1344, 
/* msg =    454, deg =  7 */     30,    102,    345,    619,    651,   1264,   1345, 
/* msg =    455, deg =  7 */     31,    103,    346,    620,    652,   1265,   1346, 
/* msg =    456, deg =  7 */     32,    104,    347,    621,    653,   1266,   1347, 
/* msg =    457, deg =  7 */     33,    105,    348,    622,    654,   1267,   1348, 
/* msg =    458, deg =  7 */     34,    106,    349,    623,    655,   1268,   1349, 
/* msg =    459, deg =  7 */     35,    107,    350,    624,    656,   1269,   1350, 
/* msg =    460, deg =  7 */     36,    108,    351,    625,    657,   1270,   1351, 
/* msg =    461, deg =  7 */     37,    109,    352,    626,    658,   1271,   1352, 
/* msg =    462, deg =  7 */     38,    110,    353,    627,    659,   1272,   1353, 
/* msg =    463, deg =  7 */     39,    111,    354,    628,    660,   1273,   1354, 
/* msg =    464, deg =  7 */     40,    112,    355,    629,    661,   1274,   1355, 
/* msg =    465, deg =  7 */     41,    113,    356,    630,    662,   1275,   1356, 
/* msg =    466, deg =  7 */     42,    114,    357,    631,    663,   1276,   1357, 
/* msg =    467, deg =  7 */     43,    115,    358,    632,    664,   1277,   1358, 
/* msg =    468, deg =  7 */     44,    116,    359,    633,    665,   1278,   1359, 
/* msg =    469, deg =  7 */     45,    117,    360,    634,    666,   1279,   1360, 
/* msg =    470, deg =  7 */     46,    118,    361,    635,    667,   1280,   1361, 
/* msg =    471, deg =  7 */     47,    119,    362,    636,    668,   1281,   1362, 
/* msg =    472, deg =  7 */     48,    120,    363,    637,    669,   1282,   1363, 
/* msg =    473, deg =  7 */     49,    121,    364,    638,    670,   1283,   1364, 
/* msg =    474, deg =  7 */     50,    122,    365,    639,    671,   1284,   1365, 
/* msg =    475, deg =  7 */     51,    123,    366,    640,    672,   1285,   1366, 
/* msg =    476, deg =  7 */     52,    124,    367,    641,    673,   1286,   1367, 
/* msg =    477, deg =  7 */     53,    125,    368,    642,    674,   1287,   1368, 
/* msg =    478, deg =  7 */     54,    126,    369,    643,    675,   1288,   1369, 
/* msg =    479, deg =  7 */     55,    127,    370,    644,    676,   1289,   1370, 
/* msg =    480, deg =  7 */     56,    128,    371,    645,    677,   1290,   1371, 
/* msg =    481, deg =  7 */     57,    129,    372,    646,    678,   1291,   1372, 
/* msg =    482, deg =  7 */     58,    130,    373,    647,    679,   1292,   1373, 
/* msg =    483, deg =  7 */     59,    131,    374,    567,    680,   1293,   1374, 
/* msg =    484, deg =  7 */     60,    132,    375,    568,    681,   1294,   1375, 
/* msg =    485, deg =  7 */     61,    133,    376,    569,    682,   1295,   1376, 
/* msg =    486, deg =  7 */     40,    263,    390,    589,    676,   1296,   1377, 
/* msg =    487, deg =  7 */     41,    264,    391,    590,    677,   1297,   1378, 
/* msg =    488, deg =  7 */     42,    265,    392,    591,    678,   1298,   1379, 
/* msg =    489, deg =  7 */     43,    266,    393,    592,    679,   1299,   1380, 
/* msg =    490, deg =  7 */     44,    267,    394,    593,    680,   1300,   1381, 
/* msg =    491, deg =  7 */     45,    268,    395,    594,    681,   1301,   1382, 
/* msg =    492, deg =  7 */     46,    269,    396,    595,    682,   1302,   1383, 
/* msg =    493, deg =  7 */     47,    270,    397,    596,    683,   1303,   1384, 
/* msg =    494, deg =  7 */     48,    271,    398,    597,    684,   1304,   1385, 
/* msg =    495, deg =  7 */     49,    272,    399,    598,    685,   1305,   1386, 
/* msg =    496, deg =  7 */     50,    273,    400,    599,    686,   1306,   1387, 
/* msg =    497, deg =  7 */     51,    274,    401,    600,    687,   1307,   1388, 
/* msg =    498, deg =  7 */     52,    275,    402,    601,    688,   1308,   1389, 
/* msg =    499, deg =  7 */     53,    276,    403,    602,    689,   1309,   1390, 
/* msg =    500, deg =  7 */     54,    277,    404,    603,    690,   1310,   1391, 
/* msg =    501, deg =  7 */     55,    278,    324,    604,    691,   1311,   1392, 
/* msg =    502, deg =  7 */     56,    279,    325,    605,    692,   1312,   1393, 
/* msg =    503, deg =  7 */     57,    280,    326,    606,    693,   1313,   1394, 
/* msg =    504, deg =  7 */     58,    281,    327,    607,    694,   1314,   1395, 
/* msg =    505, deg =  7 */     59,    282,    328,    608,    695,   1315,   1396, 
/* msg =    506, deg =  7 */     60,    283,    329,    609,    696,   1316,   1397, 
/* msg =    507, deg =  7 */     61,    284,    330,    610,    697,   1317,   1398, 
/* msg =    508, deg =  7 */     62,    285,    331,    611,    698,   1318,   1399, 
/* msg =    509, deg =  7 */     63,    286,    332,    612,    699,   1319,   1400, 
/* msg =    510, deg =  7 */     64,    287,    333,    613,    700,   1320,   1401, 
/* msg =    511, deg =  7 */     65,    288,    334,    614,    701,   1321,   1402, 
/* msg =    512, deg =  7 */     66,    289,    335,    615,    702,   1322,   1403, 
/* msg =    513, deg =  7 */     67,    290,    336,    616,    703,   1323,   1404, 
/* msg =    514, deg =  7 */     68,    291,    337,    617,    704,   1324,   1405, 
/* msg =    515, deg =  7 */     69,    292,    338,    618,    705,   1325,   1406, 
/* msg =    516, deg =  7 */     70,    293,    339,    619,    706,   1326,   1407, 
/* msg =    517, deg =  7 */     71,    294,    340,    620,    707,   1327,   1408, 
/* msg =    518, deg =  7 */     72,    295,    341,    621,    708,   1328,   1409, 
/* msg =    519, deg =  7 */     73,    296,    342,    622,    709,   1329,   1410, 
/* msg =    520, deg =  7 */     74,    297,    343,    623,    710,   1330,   1411, 
/* msg =    521, deg =  7 */     75,    298,    344,    624,    711,   1331,   1412, 
/* msg =    522, deg =  7 */     76,    299,    345,    625,    712,   1332,   1413, 
/* msg =    523, deg =  7 */     77,    300,    346,    626,    713,   1333,   1414, 
/* msg =    524, deg =  7 */     78,    301,    347,    627,    714,   1334,   1415, 
/* msg =    525, deg =  7 */     79,    302,    348,    628,    715,   1335,   1416, 
/* msg =    526, deg =  7 */     80,    303,    349,    629,    716,   1336,   1417, 
/* msg =    527, deg =  7 */      0,    304,    350,    630,    717,   1337,   1418, 
/* msg =    528, deg =  7 */      1,    305,    351,    631,    718,   1338,   1419, 
/* msg =    529, deg =  7 */      2,    306,    352,    632,    719,   1339,   1420, 
/* msg =    530, deg =  7 */      3,    307,    353,    633,    720,   1340,   1421, 
/* msg =    531, deg =  7 */      4,    308,    354,    634,    721,   1341,   1422, 
/* msg =    532, deg =  7 */      5,    309,    355,    635,    722,   1342,   1423, 
/* msg =    533, deg =  7 */      6,    310,    356,    636,    723,   1343,   1424, 
/* msg =    534, deg =  7 */      7,    311,    357,    637,    724,   1344,   1425, 
/* msg =    535, deg =  7 */      8,    312,    358,    638,    725,   1345,   1426, 
/* msg =    536, deg =  7 */      9,    313,    359,    639,    726,   1346,   1427, 
/* msg =    537, deg =  7 */     10,    314,    360,    640,    727,   1347,   1428, 
/* msg =    538, deg =  7 */     11,    315,    361,    641,    728,   1348,   1429, 
/* msg =    539, deg =  7 */     12,    316,    362,    642,    648,   1349,   1430, 
/* msg =    540, deg =  7 */     13,    317,    363,    643,    649,   1350,   1431, 
/* msg =    541, deg =  7 */     14,    318,    364,    644,    650,   1351,   1432, 
/* msg =    542, deg =  7 */     15,    319,    365,    645,    651,   1352,   1433, 
/* msg =    543, deg =  7 */     16,    320,    366,    646,    652,   1353,   1434, 
/* msg =    544, deg =  7 */     17,    321,    367,    647,    653,   1354,   1435, 
/* msg =    545, deg =  7 */     18,    322,    368,    567,    654,   1355,   1436, 
/* msg =    546, deg =  7 */     19,    323,    369,    568,    655,   1356,   1437, 
/* msg =    547, deg =  7 */     20,    243,    370,    569,    656,   1357,   1438, 
/* msg =    548, deg =  7 */     21,    244,    371,    570,    657,   1358,   1439, 
/* msg =    549, deg =  7 */     22,    245,    372,    571,    658,   1359,   1440, 
/* msg =    550, deg =  7 */     23,    246,    373,    572,    659,   1360,   1441, 
/* msg =    551, deg =  7 */     24,    247,    374,    573,    660,   1361,   1442, 
/* msg =    552, deg =  7 */     25,    248,    375,    574,    661,   1362,   1443, 
/* msg =    553, deg =  7 */     26,    249,    376,    575,    662,   1363,   1444, 
/* msg =    554, deg =  7 */     27,    250,    377,    576,    663,   1364,   1445, 
/* msg =    555, deg =  7 */     28,    251,    378,    577,    664,   1365,   1446, 
/* msg =    556, deg =  7 */     29,    252,    379,    578,    665,   1366,   1447, 
/* msg =    557, deg =  7 */     30,    253,    380,    579,    666,   1367,   1448, 
/* msg =    558, deg =  7 */     31,    254,    381,    580,    667,   1368,   1449, 
/* msg =    559, deg =  7 */     32,    255,    382,    581,    668,   1369,   1450, 
/* msg =    560, deg =  7 */     33,    256,    383,    582,    669,   1370,   1451, 
/* msg =    561, deg =  7 */     34,    257,    384,    583,    670,   1371,   1452, 
/* msg =    562, deg =  7 */     35,    258,    385,    584,    671,   1372,   1453, 
/* msg =    563, deg =  7 */     36,    259,    386,    585,    672,   1373,   1454, 
/* msg =    564, deg =  7 */     37,    260,    387,    586,    673,   1374,   1455, 
/* msg =    565, deg =  7 */     38,    261,    388,    587,    674,   1375,   1456, 
/* msg =    566, deg =  7 */     39,    262,    389,    588,    675,   1376,   1457, 
/* msg =    567, deg =  7 */      0,    332,    528,    698,    899,   1377,   1458, 
/* msg =    568, deg =  7 */      1,    333,    529,    699,    900,   1378,   1459, 
/* msg =    569, deg =  7 */      2,    334,    530,    700,    901,   1379,   1460, 
/* msg =    570, deg =  7 */      3,    335,    531,    701,    902,   1380,   1461, 
/* msg =    571, deg =  7 */      4,    336,    532,    702,    903,   1381,   1462, 
/* msg =    572, deg =  7 */      5,    337,    533,    703,    904,   1382,   1463, 
/* msg =    573, deg =  7 */      6,    338,    534,    704,    905,   1383,   1464, 
/* msg =    574, deg =  7 */      7,    339,    535,    705,    906,   1384,   1465, 
/* msg =    575, deg =  7 */      8,    340,    536,    706,    907,   1385,   1466, 
/* msg =    576, deg =  7 */      9,    341,    537,    707,    908,   1386,   1467, 
/* msg =    577, deg =  7 */     10,    342,    538,    708,    909,   1387,   1468, 
/* msg =    578, deg =  7 */     11,    343,    539,    709,    910,   1388,   1469, 
/* msg =    579, deg =  7 */     12,    344,    540,    710,    911,   1389,   1470, 
/* msg =    580, deg =  7 */     13,    345,    541,    711,    912,   1390,   1471, 
/* msg =    581, deg =  7 */     14,    346,    542,    712,    913,   1391,   1472, 
/* msg =    582, deg =  7 */     15,    347,    543,    713,    914,   1392,   1473, 
/* msg =    583, deg =  7 */     16,    348,    544,    714,    915,   1393,   1474, 
/* msg =    584, deg =  7 */     17,    349,    545,    715,    916,   1394,   1475, 
/* msg =    585, deg =  7 */     18,    350,    546,    716,    917,   1395,   1476, 
/* msg =    586, deg =  7 */     19,    351,    547,    717,    918,   1396,   1477, 
/* msg =    587, deg =  7 */     20,    352,    548,    718,    919,   1397,   1478, 
/* msg =    588, deg =  7 */     21,    353,    549,    719,    920,   1398,   1479, 
/* msg =    589, deg =  7 */     22,    354,    550,    720,    921,   1399,   1480, 
/* msg =    590, deg =  7 */     23,    355,    551,    721,    922,   1400,   1481, 
/* msg =    591, deg =  7 */     24,    356,    552,    722,    923,   1401,   1482, 
/* msg =    592, deg =  7 */     25,    357,    553,    723,    924,   1402,   1483, 
/* msg =    593, deg =  7 */     26,    358,    554,    724,    925,   1403,   1484, 
/* msg =    594, deg =  7 */     27,    359,    555,    725,    926,   1404,   1485, 
/* msg =    595, deg =  7 */     28,    360,    556,    726,    927,   1405,   1486, 
/* msg =    596, deg =  7 */     29,    361,    557,    727,    928,   1406,   1487, 
/* msg =    597, deg =  7 */     30,    362,    558,    728,    929,   1407,   1488, 
/* msg =    598, deg =  7 */     31,    363,    559,    648,    930,   1408,   1489, 
/* msg =    599, deg =  7 */     32,    364,    560,    649,    931,   1409,   1490, 
/* msg =    600, deg =  7 */     33,    365,    561,    650,    932,   1410,   1491, 
/* msg =    601, deg =  7 */     34,    366,    562,    651,    933,   1411,   1492, 
/* msg =    602, deg =  7 */     35,    367,    563,    652,    934,   1412,   1493, 
/* msg =    603, deg =  7 */     36,    368,    564,    653,    935,   1413,   1494, 
/* msg =    604, deg =  7 */     37,    369,    565,    654,    936,   1414,   1495, 
/* msg =    605, deg =  7 */     38,    370,    566,    655,    937,   1415,   1496, 
/* msg =    606, deg =  7 */     39,    371,    486,    656,    938,   1416,   1497, 
/* msg =    607, deg =  7 */     40,    372,    487,    657,    939,   1417,   1498, 
/* msg =    608, deg =  7 */     41,    373,    488,    658,    940,   1418,   1499, 
/* msg =    609, deg =  7 */     42,    374,    489,    659,    941,   1419,   1500, 
/* msg =    610, deg =  7 */     43,    375,    490,    660,    942,   1420,   1501, 
/* msg =    611, deg =  7 */     44,    376,    491,    661,    943,   1421,   1502, 
/* msg =    612, deg =  7 */     45,    377,    492,    662,    944,   1422,   1503, 
/* msg =    613, deg =  7 */     46,    378,    493,    663,    945,   1423,   1504, 
/* msg =    614, deg =  7 */     47,    379,    494,    664,    946,   1424,   1505, 
/* msg =    615, deg =  7 */     48,    380,    495,    665,    947,   1425,   1506, 
/* msg =    616, deg =  7 */     49,    381,    496,    666,    948,   1426,   1507, 
/* msg =    617, deg =  7 */     50,    382,    497,    667,    949,   1427,   1508, 
/* msg =    618, deg =  7 */     51,    383,    498,    668,    950,   1428,   1509, 
/* msg =    619, deg =  7 */     52,    384,    499,    669,    951,   1429,   1510, 
/* msg =    620, deg =  7 */     53,    385,    500,    670,    952,   1430,   1511, 
/* msg =    621, deg =  7 */     54,    386,    501,    671,    953,   1431,   1512, 
/* msg =    622, deg =  7 */     55,    387,    502,    672,    954,   1432,   1513, 
/* msg =    623, deg =  7 */     56,    388,    503,    673,    955,   1433,   1514, 
/* msg =    624, deg =  7 */     57,    389,    504,    674,    956,   1434,   1515, 
/* msg =    625, deg =  7 */     58,    390,    505,    675,    957,   1435,   1516, 
/* msg =    626, deg =  7 */     59,    391,    506,    676,    958,   1436,   1517, 
/* msg =    627, deg =  7 */     60,    392,    507,    677,    959,   1437,   1518, 
/* msg =    628, deg =  7 */     61,    393,    508,    678,    960,   1438,   1519, 
/* msg =    629, deg =  7 */     62,    394,    509,    679,    961,   1439,   1520, 
/* msg =    630, deg =  7 */     63,    395,    510,    680,    962,   1440,   1521, 
/* msg =    631, deg =  7 */     64,    396,    511,    681,    963,   1441,   1522, 
/* msg =    632, deg =  7 */     65,    397,    512,    682,    964,   1442,   1523, 
/* msg =    633, deg =  7 */     66,    398,    513,    683,    965,   1443,   1524, 
/* msg =    634, deg =  7 */     67,    399,    514,    684,    966,   1444,   1525, 
/* msg =    635, deg =  7 */     68,    400,    515,    685,    967,   1445,   1526, 
/* msg =    636, deg =  7 */     69,    401,    516,    686,    968,   1446,   1527, 
/* msg =    637, deg =  7 */     70,    402,    517,    687,    969,   1447,   1528, 
/* msg =    638, deg =  7 */     71,    403,    518,    688,    970,   1448,   1529, 
/* msg =    639, deg =  7 */     72,    404,    519,    689,    971,   1449,   1530, 
/* msg =    640, deg =  7 */     73,    324,    520,    690,    891,   1450,   1531, 
/* msg =    641, deg =  7 */     74,    325,    521,    691,    892,   1451,   1532, 
/* msg =    642, deg =  7 */     75,    326,    522,    692,    893,   1452,   1533, 
/* msg =    643, deg =  7 */     76,    327,    523,    693,    894,   1453,   1534, 
/* msg =    644, deg =  7 */     77,    328,    524,    694,    895,   1454,   1535, 
/* msg =    645, deg =  7 */     78,    329,    525,    695,    896,   1455,   1536, 
/* msg =    646, deg =  7 */     79,    330,    526,    696,    897,   1456,   1537, 
/* msg =    647, deg =  7 */     80,    331,    527,    697,    898,   1457,   1538, 
/* msg =    648, deg =  7 */     65,    362,    462,    720,    837,   1539,   1620, 
/* msg =    649, deg =  7 */     66,    363,    463,    721,    838,   1540,   1621, 
/* msg =    650, deg =  7 */     67,    364,    464,    722,    839,   1541,   1622, 
/* msg =    651, deg =  7 */     68,    365,    465,    723,    840,   1542,   1623, 
/* msg =    652, deg =  7 */     69,    366,    466,    724,    841,   1543,   1624, 
/* msg =    653, deg =  7 */     70,    367,    467,    725,    842,   1544,   1625, 
/* msg =    654, deg =  7 */     71,    368,    468,    726,    843,   1545,   1626, 
/* msg =    655, deg =  7 */     72,    369,    469,    727,    844,   1546,   1627, 
/* msg =    656, deg =  7 */     73,    370,    470,    728,    845,   1547,   1628, 
/* msg =    657, deg =  7 */     74,    371,    471,    648,    846,   1548,   1629, 
/* msg =    658, deg =  7 */     75,    372,    472,    649,    847,   1549,   1630, 
/* msg =    659, deg =  7 */     76,    373,    473,    650,    848,   1550,   1631, 
/* msg =    660, deg =  7 */     77,    374,    474,    651,    849,   1551,   1632, 
/* msg =    661, deg =  7 */     78,    375,    475,    652,    850,   1552,   1633, 
/* msg =    662, deg =  7 */     79,    376,    476,    653,    851,   1553,   1634, 
/* msg =    663, deg =  7 */     80,    377,    477,    654,    852,   1554,   1635, 
/* msg =    664, deg =  7 */      0,    378,    478,    655,    853,   1555,   1636, 
/* msg =    665, deg =  7 */      1,    379,    479,    656,    854,   1556,   1637, 
/* msg =    666, deg =  7 */      2,    380,    480,    657,    855,   1557,   1638, 
/* msg =    667, deg =  7 */      3,    381,    481,    658,    856,   1558,   1639, 
/* msg =    668, deg =  7 */      4,    382,    482,    659,    857,   1559,   1640, 
/* msg =    669, deg =  7 */      5,    383,    483,    660,    858,   1560,   1641, 
/* msg =    670, deg =  7 */      6,    384,    484,    661,    859,   1561,   1642, 
/* msg =    671, deg =  7 */      7,    385,    485,    662,    860,   1562,   1643, 
/* msg =    672, deg =  7 */      8,    386,    405,    663,    861,   1563,   1644, 
/* msg =    673, deg =  7 */      9,    387,    406,    664,    862,   1564,   1645, 
/* msg =    674, deg =  7 */     10,    388,    407,    665,    863,   1565,   1646, 
/* msg =    675, deg =  7 */     11,    389,    408,    666,    864,   1566,   1647, 
/* msg =    676, deg =  7 */     12,    390,    409,    667,    865,   1567,   1648, 
/* msg =    677, deg =  7 */     13,    391,    410,    668,    866,   1568,   1649, 
/* msg =    678, deg =  7 */     14,    392,    411,    669,    867,   1569,   1650, 
/* msg =    679, deg =  7 */     15,    393,    412,    670,    868,   1570,   1651, 
/* msg =    680, deg =  7 */     16,    394,    413,    671,    869,   1571,   1652, 
/* msg =    681, deg =  7 */     17,    395,    414,    672,    870,   1572,   1653, 
/* msg =    682, deg =  7 */     18,    396,    415,    673,    871,   1573,   1654, 
/* msg =    683, deg =  7 */     19,    397,    416,    674,    872,   1574,   1655, 
/* msg =    684, deg =  7 */     20,    398,    417,    675,    873,   1575,   1656, 
/* msg =    685, deg =  7 */     21,    399,    418,    676,    874,   1576,   1657, 
/* msg =    686, deg =  7 */     22,    400,    419,    677,    875,   1577,   1658, 
/* msg =    687, deg =  7 */     23,    401,    420,    678,    876,   1578,   1659, 
/* msg =    688, deg =  7 */     24,    402,    421,    679,    877,   1579,   1660, 
/* msg =    689, deg =  7 */     25,    403,    422,    680,    878,   1580,   1661, 
/* msg =    690, deg =  7 */     26,    404,    423,    681,    879,   1581,   1662, 
/* msg =    691, deg =  7 */     27,    324,    424,    682,    880,   1582,   1663, 
/* msg =    692, deg =  7 */     28,    325,    425,    683,    881,   1583,   1664, 
/* msg =    693, deg =  7 */     29,    326,    426,    684,    882,   1584,   1665, 
/* msg =    694, deg =  7 */     30,    327,    427,    685,    883,   1585,   1666, 
/* msg =    695, deg =  7 */     31,    328,    428,    686,    884,   1586,   1667, 
/* msg =    696, deg =  7 */     32,    329,    429,    687,    885,   1587,   1668, 
/* msg =    697, deg =  7 */     33,    330,    430,    688,    886,   1588,   1669, 
/* msg =    698, deg =  7 */     34,    331,    431,    689,    887,   1589,   1670, 
/* msg =    699, deg =  7 */     35,    332,    432,    690,    888,   1590,   1671, 
/* msg =    700, deg =  7 */     36,    333,    433,    691,    889,   1591,   1672, 
/* msg =    701, deg =  7 */     37,    334,    434,    692,    890,   1592,   1673, 
/* msg =    702, deg =  7 */     38,    335,    435,    693,    810,   1593,   1674, 
/* msg =    703, deg =  7 */     39,    336,    436,    694,    811,   1594,   1675, 
/* msg =    704, deg =  7 */     40,    337,    437,    695,    812,   1595,   1676, 
/* msg =    705, deg =  7 */     41,    338,    438,    696,    813,   1596,   1677, 
/* msg =    706, deg =  7 */     42,    339,    439,    697,    814,   1597,   1678, 
/* msg =    707, deg =  7 */     43,    340,    440,    698,    815,   1598,   1679, 
/* msg =    708, deg =  7 */     44,    341,    441,    699,    816,   1599,   1680, 
/* msg =    709, deg =  7 */     45,    342,    442,    700,    817,   1600,   1681, 
/* msg =    710, deg =  7 */     46,    343,    443,    701,    818,   1601,   1682, 
/* msg =    711, deg =  7 */     47,    344,    444,    702,    819,   1602,   1683, 
/* msg =    712, deg =  7 */     48,    345,    445,    703,    820,   1603,   1684, 
/* msg =    713, deg =  7 */     49,    346,    446,    704,    821,   1604,   1685, 
/* msg =    714, deg =  7 */     50,    347,    447,    705,    822,   1605,   1686, 
/* msg =    715, deg =  7 */     51,    348,    448,    706,    823,   1606,   1687, 
/* msg =    716, deg =  7 */     52,    349,    449,    707,    824,   1607,   1688, 
/* msg =    717, deg =  7 */     53,    350,    450,    708,    825,   1608,   1689, 
/* msg =    718, deg =  7 */     54,    351,    451,    709,    826,   1609,   1690, 
/* msg =    719, deg =  7 */     55,    352,    452,    710,    827,   1610,   1691, 
/* msg =    720, deg =  7 */     56,    353,    453,    711,    828,   1611,   1692, 
/* msg =    721, deg =  7 */     57,    354,    454,    712,    829,   1612,   1693, 
/* msg =    722, deg =  7 */     58,    355,    455,    713,    830,   1613,   1694, 
/* msg =    723, deg =  7 */     59,    356,    456,    714,    831,   1614,   1695, 
/* msg =    724, deg =  7 */     60,    357,    457,    715,    832,   1615,   1696, 
/* msg =    725, deg =  7 */     61,    358,    458,    716,    833,   1616,   1697, 
/* msg =    726, deg =  7 */     62,    359,    459,    717,    834,   1617,   1698, 
/* msg =    727, deg =  7 */     63,    360,    460,    718,    835,   1618,   1699, 
/* msg =    728, deg =  7 */     64,    361,    461,    719,    836,   1619,   1700, 
/* msg =    729, deg =  7 */     64,    338,    457,    678,    923,   1620,   1701, 
/* msg =    730, deg =  7 */     65,    339,    458,    679,    924,   1621,   1702, 
/* msg =    731, deg =  7 */     66,    340,    459,    680,    925,   1622,   1703, 
/* msg =    732, deg =  7 */     67,    341,    460,    681,    926,   1623,   1704, 
/* msg =    733, deg =  7 */     68,    342,    461,    682,    927,   1624,   1705, 
/* msg =    734, deg =  7 */     69,    343,    462,    683,    928,   1625,   1706, 
/* msg =    735, deg =  7 */     70,    344,    463,    684,    929,   1626,   1707, 
/* msg =    736, deg =  7 */     71,    345,    464,    685,    930,   1627,   1708, 
/* msg =    737, deg =  7 */     72,    346,    465,    686,    931,   1628,   1709, 
/* msg =    738, deg =  7 */     73,    347,    466,    687,    932,   1629,   1710, 
/* msg =    739, deg =  7 */     74,    348,    467,    688,    933,   1630,   1711, 
/* msg =    740, deg =  7 */     75,    349,    468,    689,    934,   1631,   1712, 
/* msg =    741, deg =  7 */     76,    350,    469,    690,    935,   1632,   1713, 
/* msg =    742, deg =  7 */     77,    351,    470,    691,    936,   1633,   1714, 
/* msg =    743, deg =  7 */     78,    352,    471,    692,    937,   1634,   1715, 
/* msg =    744, deg =  7 */     79,    353,    472,    693,    938,   1635,   1716, 
/* msg =    745, deg =  7 */     80,    354,    473,    694,    939,   1636,   1717, 
/* msg =    746, deg =  7 */      0,    355,    474,    695,    940,   1637,   1718, 
/* msg =    747, deg =  7 */      1,    356,    475,    696,    941,   1638,   1719, 
/* msg =    748, deg =  7 */      2,    357,    476,    697,    942,   1639,   1720, 
/* msg =    749, deg =  7 */      3,    358,    477,    698,    943,   1640,   1721, 
/* msg =    750, deg =  7 */      4,    359,    478,    699,    944,   1641,   1722, 
/* msg =    751, deg =  7 */      5,    360,    479,    700,    945,   1642,   1723, 
/* msg =    752, deg =  7 */      6,    361,    480,    701,    946,   1643,   1724, 
/* msg =    753, deg =  7 */      7,    362,    481,    702,    947,   1644,   1725, 
/* msg =    754, deg =  7 */      8,    363,    482,    703,    948,   1645,   1726, 
/* msg =    755, deg =  7 */      9,    364,    483,    704,    949,   1646,   1727, 
/* msg =    756, deg =  7 */     10,    365,    484,    705,    950,   1647,   1728, 
/* msg =    757, deg =  7 */     11,    366,    485,    706,    951,   1648,   1729, 
/* msg =    758, deg =  7 */     12,    367,    405,    707,    952,   1649,   1730, 
/* msg =    759, deg =  7 */     13,    368,    406,    708,    953,   1650,   1731, 
/* msg =    760, deg =  7 */     14,    369,    407,    709,    954,   1651,   1732, 
/* msg =    761, deg =  7 */     15,    370,    408,    710,    955,   1652,   1733, 
/* msg =    762, deg =  7 */     16,    371,    409,    711,    956,   1653,   1734, 
/* msg =    763, deg =  7 */     17,    372,    410,    712,    957,   1654,   1735, 
/* msg =    764, deg =  7 */     18,    373,    411,    713,    958,   1655,   1736, 
/* msg =    765, deg =  7 */     19,    374,    412,    714,    959,   1656,   1737, 
/* msg =    766, deg =  7 */     20,    375,    413,    715,    960,   1657,   1738, 
/* msg =    767, deg =  7 */     21,    376,    414,    716,    961,   1658,   1739, 
/* msg =    768, deg =  7 */     22,    377,    415,    717,    962,   1659,   1740, 
/* msg =    769, deg =  7 */     23,    378,    416,    718,    963,   1660,   1741, 
/* msg =    770, deg =  7 */     24,    379,    417,    719,    964,   1661,   1742, 
/* msg =    771, deg =  7 */     25,    380,    418,    720,    965,   1662,   1743, 
/* msg =    772, deg =  7 */     26,    381,    419,    721,    966,   1663,   1744, 
/* msg =    773, deg =  7 */     27,    382,    420,    722,    967,   1664,   1745, 
/* msg =    774, deg =  7 */     28,    383,    421,    723,    968,   1665,   1746, 
/* msg =    775, deg =  7 */     29,    384,    422,    724,    969,   1666,   1747, 
/* msg =    776, deg =  7 */     30,    385,    423,    725,    970,   1667,   1748, 
/* msg =    777, deg =  7 */     31,    386,    424,    726,    971,   1668,   1749, 
/* msg =    778, deg =  7 */     32,    387,    425,    727,    891,   1669,   1750, 
/* msg =    779, deg =  7 */     33,    388,    426,    728,    892,   1670,   1751, 
/* msg =    780, deg =  7 */     34,    389,    427,    648,    893,   1671,   1752, 
/* msg =    781, deg =  7 */     35,    390,    428,    649,    894,   1672,   1753, 
/* msg =    782, deg =  7 */     36,    391,    429,    650,    895,   1673,   1754, 
/* msg =    783, deg =  7 */     37,    392,    430,    651,    896,   1674,   1755, 
/* msg =    784, deg =  7 */     38,    393,    431,    652,    897,   1675,   1756, 
/* msg =    785, deg =  7 */     39,    394,    432,    653,    898,   1676,   1757, 
/* msg =    786, deg =  7 */     40,    395,    433,    654,    899,   1677,   1758, 
/* msg =    787, deg =  7 */     41,    396,    434,    655,    900,   1678,   1759, 
/* msg =    788, deg =  7 */     42,    397,    435,    656,    901,   1679,   1760, 
/* msg =    789, deg =  7 */     43,    398,    436,    657,    902,   1680,   1761, 
/* msg =    790, deg =  7 */     44,    399,    437,    658,    903,   1681,   1762, 
/* msg =    791, deg =  7 */     45,    400,    438,    659,    904,   1682,   1763, 
/* msg =    792, deg =  7 */     46,    401,    439,    660,    905,   1683,   1764, 
/* msg =    793, deg =  7 */     47,    402,    440,    661,    906,   1684,   1765, 
/* msg =    794, deg =  7 */     48,    403,    441,    662,    907,   1685,   1766, 
/* msg =    795, deg =  7 */     49,    404,    442,    663,    908,   1686,   1767, 
/* msg =    796, deg =  7 */     50,    324,    443,    664,    909,   1687,   1768, 
/* msg =    797, deg =  7 */     51,    325,    444,    665,    910,   1688,   1769, 
/* msg =    798, deg =  7 */     52,    326,    445,    666,    911,   1689,   1770, 
/* msg =    799, deg =  7 */     53,    327,    446,    667,    912,   1690,   1771, 
/* msg =    800, deg =  7 */     54,    328,    447,    668,    913,   1691,   1772, 
/* msg =    801, deg =  7 */     55,    329,    448,    669,    914,   1692,   1773, 
/* msg =    802, deg =  7 */     56,    330,    449,    670,    915,   1693,   1774, 
/* msg =    803, deg =  7 */     57,    331,    450,    671,    916,   1694,   1775, 
/* msg =    804, deg =  7 */     58,    332,    451,    672,    917,   1695,   1776, 
/* msg =    805, deg =  7 */     59,    333,    452,    673,    918,   1696,   1777, 
/* msg =    806, deg =  7 */     60,    334,    453,    674,    919,   1697,   1778, 
/* msg =    807, deg =  7 */     61,    335,    454,    675,    920,   1698,   1779, 
/* msg =    808, deg =  7 */     62,    336,    455,    676,    921,   1699,   1780, 
/* msg =    809, deg =  7 */     63,    337,    456,    677,    922,   1700,   1781, 
/* msg =    810, deg =  7 */    126,    313,    324,    725,    738,   1701,   1782, 
/* msg =    811, deg =  7 */    127,    314,    325,    726,    739,   1702,   1783, 
/* msg =    812, deg =  7 */    128,    315,    326,    727,    740,   1703,   1784, 
/* msg =    813, deg =  7 */    129,    316,    327,    728,    741,   1704,   1785, 
/* msg =    814, deg =  7 */    130,    317,    328,    648,    742,   1705,   1786, 
/* msg =    815, deg =  7 */    131,    318,    329,    649,    743,   1706,   1787, 
/* msg =    816, deg =  7 */    132,    319,    330,    650,    744,   1707,   1788, 
/* msg =    817, deg =  7 */    133,    320,    331,    651,    745,   1708,   1789, 
/* msg =    818, deg =  7 */    134,    321,    332,    652,    746,   1709,   1790, 
/* msg =    819, deg =  7 */    135,    322,    333,    653,    747,   1710,   1791, 
/* msg =    820, deg =  7 */    136,    323,    334,    654,    748,   1711,   1792, 
/* msg =    821, deg =  7 */    137,    243,    335,    655,    749,   1712,   1793, 
/* msg =    822, deg =  7 */    138,    244,    336,    656,    750,   1713,   1794, 
/* msg =    823, deg =  7 */    139,    245,    337,    657,    751,   1714,   1795, 
/* msg =    824, deg =  7 */    140,    246,    338,    658,    752,   1715,   1796, 
/* msg =    825, deg =  7 */    141,    247,    339,    659,    753,   1716,   1797, 
/* msg =    826, deg =  7 */    142,    248,    340,    660,    754,   1717,   1798, 
/* msg =    827, deg =  7 */    143,    249,    341,    661,    755,   1718,   1799, 
/* msg =    828, deg =  7 */    144,    250,    342,    662,    756,   1719,   1800, 
/* msg =    829, deg =  7 */    145,    251,    343,    663,    757,   1720,   1801, 
/* msg =    830, deg =  7 */    146,    252,    344,    664,    758,   1721,   1802, 
/* msg =    831, deg =  7 */    147,    253,    345,    665,    759,   1722,   1803, 
/* msg =    832, deg =  7 */    148,    254,    346,    666,    760,   1723,   1804, 
/* msg =    833, deg =  7 */    149,    255,    347,    667,    761,   1724,   1805, 
/* msg =    834, deg =  7 */    150,    256,    348,    668,    762,   1725,   1806, 
/* msg =    835, deg =  7 */    151,    257,    349,    669,    763,   1726,   1807, 
/* msg =    836, deg =  7 */    152,    258,    350,    670,    764,   1727,   1808, 
/* msg =    837, deg =  7 */    153,    259,    351,    671,    765,   1728,   1809, 
/* msg =    838, deg =  7 */    154,    260,    352,    672,    766,   1729,   1810, 
/* msg =    839, deg =  7 */    155,    261,    353,    673,    767,   1730,   1811, 
/* msg =    840, deg =  7 */    156,    262,    354,    674,    768,   1731,   1812, 
/* msg =    841, deg =  7 */    157,    263,    355,    675,    769,   1732,   1813, 
/* msg =    842, deg =  7 */    158,    264,    356,    676,    770,   1733,   1814, 
/* msg =    843, deg =  7 */    159,    265,    357,    677,    771,   1734,   1815, 
/* msg =    844, deg =  7 */    160,    266,    358,    678,    772,   1735,   1816, 
/* msg =    845, deg =  7 */    161,    267,    359,    679,    773,   1736,   1817, 
/* msg =    846, deg =  7 */     81,    268,    360,    680,    774,   1737,   1818, 
/* msg =    847, deg =  7 */     82,    269,    361,    681,    775,   1738,   1819, 
/* msg =    848, deg =  7 */     83,    270,    362,    682,    776,   1739,   1820, 
/* msg =    849, deg =  7 */     84,    271,    363,    683,    777,   1740,   1821, 
/* msg =    850, deg =  7 */     85,    272,    364,    684,    778,   1741,   1822, 
/* msg =    851, deg =  7 */     86,    273,    365,    685,    779,   1742,   1823, 
/* msg =    852, deg =  7 */     87,    274,    366,    686,    780,   1743,   1824, 
/* msg =    853, deg =  7 */     88,    275,    367,    687,    781,   1744,   1825, 
/* msg =    854, deg =  7 */     89,    276,    368,    688,    782,   1745,   1826, 
/* msg =    855, deg =  7 */     90,    277,    369,    689,    783,   1746,   1827, 
/* msg =    856, deg =  7 */     91,    278,    370,    690,    784,   1747,   1828, 
/* msg =    857, deg =  7 */     92,    279,    371,    691,    785,   1748,   1829, 
/* msg =    858, deg =  7 */     93,    280,    372,    692,    786,   1749,   1830, 
/* msg =    859, deg =  7 */     94,    281,    373,    693,    787,   1750,   1831, 
/* msg =    860, deg =  7 */     95,    282,    374,    694,    788,   1751,   1832, 
/* msg =    861, deg =  7 */     96,    283,    375,    695,    789,   1752,   1833, 
/* msg =    862, deg =  7 */     97,    284,    376,    696,    790,   1753,   1834, 
/* msg =    863, deg =  7 */     98,    285,    377,    697,    791,   1754,   1835, 
/* msg =    864, deg =  7 */     99,    286,    378,    698,    792,   1755,   1836, 
/* msg =    865, deg =  7 */    100,    287,    379,    699,    793,   1756,   1837, 
/* msg =    866, deg =  7 */    101,    288,    380,    700,    794,   1757,   1838, 
/* msg =    867, deg =  7 */    102,    289,    381,    701,    795,   1758,   1839, 
/* msg =    868, deg =  7 */    103,    290,    382,    702,    796,   1759,   1840, 
/* msg =    869, deg =  7 */    104,    291,    383,    703,    797,   1760,   1841, 
/* msg =    870, deg =  7 */    105,    292,    384,    704,    798,   1761,   1842, 
/* msg =    871, deg =  7 */    106,    293,    385,    705,    799,   1762,   1843, 
/* msg =    872, deg =  7 */    107,    294,    386,    706,    800,   1763,   1844, 
/* msg =    873, deg =  7 */    108,    295,    387,    707,    801,   1764,   1845, 
/* msg =    874, deg =  7 */    109,    296,    388,    708,    802,   1765,   1846, 
/* msg =    875, deg =  7 */    110,    297,    389,    709,    803,   1766,   1847, 
/* msg =    876, deg =  7 */    111,    298,    390,    710,    804,   1767,   1848, 
/* msg =    877, deg =  7 */    112,    299,    391,    711,    805,   1768,   1849, 
/* msg =    878, deg =  7 */    113,    300,    392,    712,    806,   1769,   1850, 
/* msg =    879, deg =  7 */    114,    301,    393,    713,    807,   1770,   1851, 
/* msg =    880, deg =  7 */    115,    302,    394,    714,    808,   1771,   1852, 
/* msg =    881, deg =  7 */    116,    303,    395,    715,    809,   1772,   1853, 
/* msg =    882, deg =  7 */    117,    304,    396,    716,    729,   1773,   1854, 
/* msg =    883, deg =  7 */    118,    305,    397,    717,    730,   1774,   1855, 
/* msg =    884, deg =  7 */    119,    306,    398,    718,    731,   1775,   1856, 
/* msg =    885, deg =  7 */    120,    307,    399,    719,    732,   1776,   1857, 
/* msg =    886, deg =  7 */    121,    308,    400,    720,    733,   1777,   1858, 
/* msg =    887, deg =  7 */    122,    309,    401,    721,    734,   1778,   1859, 
/* msg =    888, deg =  7 */    123,    310,    402,    722,    735,   1779,   1860, 
/* msg =    889, deg =  7 */    124,    311,    403,    723,    736,   1780,   1861, 
/* msg =    890, deg =  7 */    125,    312,    404,    724,    737,   1781,   1862, 
/* msg =    891, deg =  7 */      2,    137,    300,    359,    822,   1782,   1863, 
/* msg =    892, deg =  7 */      3,    138,    301,    360,    823,   1783,   1864, 
/* msg =    893, deg =  7 */      4,    139,    302,    361,    824,   1784,   1865, 
/* msg =    894, deg =  7 */      5,    140,    303,    362,    825,   1785,   1866, 
/* msg =    895, deg =  7 */      6,    141,    304,    363,    826,   1786,   1867, 
/* msg =    896, deg =  7 */      7,    142,    305,    364,    827,   1787,   1868, 
/* msg =    897, deg =  7 */      8,    143,    306,    365,    828,   1788,   1869, 
/* msg =    898, deg =  7 */      9,    144,    307,    366,    829,   1789,   1870, 
/* msg =    899, deg =  7 */     10,    145,    308,    367,    830,   1790,   1871, 
/* msg =    900, deg =  7 */     11,    146,    309,    368,    831,   1791,   1872, 
/* msg =    901, deg =  7 */     12,    147,    310,    369,    832,   1792,   1873, 
/* msg =    902, deg =  7 */     13,    148,    311,    370,    833,   1793,   1874, 
/* msg =    903, deg =  7 */     14,    149,    312,    371,    834,   1794,   1875, 
/* msg =    904, deg =  7 */     15,    150,    313,    372,    835,   1795,   1876, 
/* msg =    905, deg =  7 */     16,    151,    314,    373,    836,   1796,   1877, 
/* msg =    906, deg =  7 */     17,    152,    315,    374,    837,   1797,   1878, 
/* msg =    907, deg =  7 */     18,    153,    316,    375,    838,   1798,   1879, 
/* msg =    908, deg =  7 */     19,    154,    317,    376,    839,   1799,   1880, 
/* msg =    909, deg =  7 */     20,    155,    318,    377,    840,   1800,   1881, 
/* msg =    910, deg =  7 */     21,    156,    319,    378,    841,   1801,   1882, 
/* msg =    911, deg =  7 */     22,    157,    320,    379,    842,   1802,   1883, 
/* msg =    912, deg =  7 */     23,    158,    321,    380,    843,   1803,   1884, 
/* msg =    913, deg =  7 */     24,    159,    322,    381,    844,   1804,   1885, 
/* msg =    914, deg =  7 */     25,    160,    323,    382,    845,   1805,   1886, 
/* msg =    915, deg =  7 */     26,    161,    243,    383,    846,   1806,   1887, 
/* msg =    916, deg =  7 */     27,     81,    244,    384,    847,   1807,   1888, 
/* msg =    917, deg =  7 */     28,     82,    245,    385,    848,   1808,   1889, 
/* msg =    918, deg =  7 */     29,     83,    246,    386,    849,   1809,   1890, 
/* msg =    919, deg =  7 */     30,     84,    247,    387,    850,   1810,   1891, 
/* msg =    920, deg =  7 */     31,     85,    248,    388,    851,   1811,   1892, 
/* msg =    921, deg =  7 */     32,     86,    249,    389,    852,   1812,   1893, 
/* msg =    922, deg =  7 */     33,     87,    250,    390,    853,   1813,   1894, 
/* msg =    923, deg =  7 */     34,     88,    251,    391,    854,   1814,   1895, 
/* msg =    924, deg =  7 */     35,     89,    252,    392,    855,   1815,   1896, 
/* msg =    925, deg =  7 */     36,     90,    253,    393,    856,   1816,   1897, 
/* msg =    926, deg =  7 */     37,     91,    254,    394,    857,   1817,   1898, 
/* msg =    927, deg =  7 */     38,     92,    255,    395,    858,   1818,   1899, 
/* msg =    928, deg =  7 */     39,     93,    256,    396,    859,   1819,   1900, 
/* msg =    929, deg =  7 */     40,     94,    257,    397,    860,   1820,   1901, 
/* msg =    930, deg =  7 */     41,     95,    258,    398,    861,   1821,   1902, 
/* msg =    931, deg =  7 */     42,     96,    259,    399,    862,   1822,   1903, 
/* msg =    932, deg =  7 */     43,     97,    260,    400,    863,   1823,   1904, 
/* msg =    933, deg =  7 */     44,     98,    261,    401,    864,   1824,   1905, 
/* msg =    934, deg =  7 */     45,     99,    262,    402,    865,   1825,   1906, 
/* msg =    935, deg =  7 */     46,    100,    263,    403,    866,   1826,   1907, 
/* msg =    936, deg =  7 */     47,    101,    264,    404,    867,   1827,   1908, 
/* msg =    937, deg =  7 */     48,    102,    265,    324,    868,   1828,   1909, 
/* msg =    938, deg =  7 */     49,    103,    266,    325,    869,   1829,   1910, 
/* msg =    939, deg =  7 */     50,    104,    267,    326,    870,   1830,   1911, 
/* msg =    940, deg =  7 */     51,    105,    268,    327,    871,   1831,   1912, 
/* msg =    941, deg =  7 */     52,    106,    269,    328,    872,   1832,   1913, 
/* msg =    942, deg =  7 */     53,    107,    270,    329,    873,   1833,   1914, 
/* msg =    943, deg =  7 */     54,    108,    271,    330,    874,   1834,   1915, 
/* msg =    944, deg =  7 */     55,    109,    272,    331,    875,   1835,   1916, 
/* msg =    945, deg =  7 */     56,    110,    273,    332,    876,   1836,   1917, 
/* msg =    946, deg =  7 */     57,    111,    274,    333,    877,   1837,   1918, 
/* msg =    947, deg =  7 */     58,    112,    275,    334,    878,   1838,   1919, 
/* msg =    948, deg =  7 */     59,    113,    276,    335,    879,   1839,   1920, 
/* msg =    949, deg =  7 */     60,    114,    277,    336,    880,   1840,   1921, 
/* msg =    950, deg =  7 */     61,    115,    278,    337,    881,   1841,   1922, 
/* msg =    951, deg =  7 */     62,    116,    279,    338,    882,   1842,   1923, 
/* msg =    952, deg =  7 */     63,    117,    280,    339,    883,   1843,   1924, 
/* msg =    953, deg =  7 */     64,    118,    281,    340,    884,   1844,   1925, 
/* msg =    954, deg =  7 */     65,    119,    282,    341,    885,   1845,   1926, 
/* msg =    955, deg =  7 */     66,    120,    283,    342,    886,   1846,   1927, 
/* msg =    956, deg =  7 */     67,    121,    284,    343,    887,   1847,   1928, 
/* msg =    957, deg =  7 */     68,    122,    285,    344,    888,   1848,   1929, 
/* msg =    958, deg =  7 */     69,    123,    286,    345,    889,   1849,   1930, 
/* msg =    959, deg =  7 */     70,    124,    287,    346,    890,   1850,   1931, 
/* msg =    960, deg =  7 */     71,    125,    288,    347,    810,   1851,   1932, 
/* msg =    961, deg =  7 */     72,    126,    289,    348,    811,   1852,   1933, 
/* msg =    962, deg =  7 */     73,    127,    290,    349,    812,   1853,   1934, 
/* msg =    963, deg =  7 */     74,    128,    291,    350,    813,   1854,   1935, 
/* msg =    964, deg =  7 */     75,    129,    292,    351,    814,   1855,   1936, 
/* msg =    965, deg =  7 */     76,    130,    293,    352,    815,   1856,   1937, 
/* msg =    966, deg =  7 */     77,    131,    294,    353,    816,   1857,   1938, 
/* msg =    967, deg =  7 */     78,    132,    295,    354,    817,   1858,   1939, 
/* msg =    968, deg =  7 */     79,    133,    296,    355,    818,   1859,   1940, 
/* msg =    969, deg =  7 */     80,    134,    297,    356,    819,   1860,   1941, 
/* msg =    970, deg =  7 */      0,    135,    298,    357,    820,   1861,   1942, 
/* msg =    971, deg =  7 */      1,    136,    299,    358,    821,   1862,   1943
};

